<body>
Contains examples of programs manually defined following to the formalism of CARE.
</body>